Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier

Source URL: spw14.langsec.org

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• C
• Printf format string
• Relational operator
• Const
• Type conversion

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

The NAS Parallel Benchmarks in Titanium by Kaushik Datta Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfaction of the

Source URL: titanium.cs.berkeley.edu

• Object-oriented programming languages
• Procedural programming languages
• Data types
• Benchmark
• Array data structure
• Stencil code
• Fortran
• NAS Parallel Benchmarks
• Array data type
• Array
• Titanium
• Standard Performance Evaluation Corporation

[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra

Source URL: wwwhome.cs.utwente.nl

• Computing
• Data types
• Software engineering
• Functional programming
• Knowledge representation
• Dependently typed programming
• Generalized algebraic data type
• Type theory
• Rm
• Tree

DepSpace: A Byzantine Fault-Tolerant Coordination Service Alysson Neves Bessani† , Eduardo Pelison Alchieri‡ , Miguel Correia† , Joni da Silva Fraga‡ ‡

Source URL: www.di.fc.ul.pt

• Computing
• Relational model
• Functional languages
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• ATS
• Relation

TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ...

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Type theory
• Pointer
• Scala
• Lookup table
• Pascal
• More
• Variable

CIVIL AVIATION AUTHORITY – SAFETY REGULATION GROUP MICROLIGHT TYPE APPROVAL DATA SHEET (TADS) NO:BM53 ISSUE 9: TYPE: Cyclone AX2000

Source URL: ulav8r.com

Surpass Manual Ana Nelson July 2, 2010 2

Source URL: surpass.ananelson.com

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Scripting languages
• Ruby
• Array data type
• Spreadsheet

Technical INformation NFRC Thermal Performance Data U-Factor: U-factor measures how well a product prevents heat from escaping. The rate of heat loss is indicated in terms of the Type

Source URL: sierrapacificwindows.com

Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Functional programming
• Object-oriented programming languages
• Functional languages
• Data types
• Subroutines
• Scala
• Pattern matching
• Algebraic data type
• Factory